<html>
<head><meta charset="utf-8"><title>weekly meeting May 15 · t-compiler/wg-nll · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/index.html">t-compiler/wg-nll</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html">weekly meeting May 15</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="126608056"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608056" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608056">(May 15 2018 at 19:32)</a>:</h4>
<p>Hi everyone</p>



<a name="126608085"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608085" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608085">(May 15 2018 at 19:32)</a>:</h4>
<p>howdy</p>



<a name="126608100"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608100" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608100">(May 15 2018 at 19:33)</a>:</h4>
<p>hi</p>



<a name="126608146"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608146" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608146">(May 15 2018 at 19:34)</a>:</h4>
<p>not sure who'll make it today; there were a few people who couldn't</p>



<a name="126608151"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608151" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608151">(May 15 2018 at 19:34)</a>:</h4>
<p>okay well maybe since we already had a chat earlier today</p>



<a name="126608155"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608155" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608155">(May 15 2018 at 19:34)</a>:</h4>
<p>also true</p>



<a name="126608158"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608158" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608158">(May 15 2018 at 19:34)</a>:</h4>
<p>we can make this short meeting even shorter</p>



<a name="126608172"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608172" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608172">(May 15 2018 at 19:35)</a>:</h4>
<p>I see <span class="user-mention" data-user-id="116009">@nikomatsakis</span> has worked to summarize the thoughts from that chat into the <a href="https://paper.dropbox.com/doc/Non-lexical-lifetimes-NLL-Triage-Em2cJrvxQMMFWLE7lE5Be" target="_blank" title="https://paper.dropbox.com/doc/Non-lexical-lifetimes-NLL-Triage-Em2cJrvxQMMFWLE7lE5Be">Triage Meeting Paper</a></p>



<a name="126608229"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608229" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608229">(May 15 2018 at 19:36)</a>:</h4>
<p>where can I read about SEME?</p>



<a name="126608231"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608231" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608231">(May 15 2018 at 19:36)</a>:</h4>
<p>unsure what's about</p>



<a name="126608232"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608232" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608232">(May 15 2018 at 19:36)</a>:</h4>
<p>the one line summary as I take it is: <span class="user-mention" data-user-id="116009">@nikomatsakis</span> is going to focus on SEME experiments in the short term. Everyone else (including pnkfelix) should focus on borrow_check repo</p>



<a name="126608238"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608238" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608238">(May 15 2018 at 19:36)</a>:</h4>
<p>Hello.</p>



<a name="126608239"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608239" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608239">(May 15 2018 at 19:36)</a>:</h4>
<p>that is, <span class="user-mention" data-user-id="116009">@nikomatsakis</span> does not want people worrying too much about the SEME approach</p>



<a name="126608243"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608243" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608243">(May 15 2018 at 19:36)</a>:</h4>
<p><span class="user-mention" data-user-id="116266">@Santiago Pastorino</span> I can link you to the RFC about SEME</p>



<a name="126608244"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608244" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608244">(May 15 2018 at 19:36)</a>:</h4>
<p>Finally done with the nine exams. Ready to start contributing again.</p>



<a name="126608247"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608247" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608247">(May 15 2018 at 19:36)</a>:</h4>
<p>not worring up to the point of not even knowing what is about? :P</p>



<a name="126608255"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608255" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608255">(May 15 2018 at 19:37)</a>:</h4>
<p>plausibly :)</p>



<a name="126608261"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608261" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608261">(May 15 2018 at 19:37)</a>:</h4>
<p>"single entry multiple exit"</p>



<a name="126608262"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608262" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608262">(May 15 2018 at 19:37)</a>:</h4>
<p>yeah, if we shouldn't worry, I'd just ... not worry</p>



<a name="126608264"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608264" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608264">(May 15 2018 at 19:37)</a>:</h4>
<p>:)</p>



<a name="126608269"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608269" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608269">(May 15 2018 at 19:37)</a>:</h4>
<p>it is a somewhat less flexible version of regions</p>



<a name="126608273"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608273" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608273">(May 15 2018 at 19:37)</a>:</h4>
<p>but one that can (maybe?) be more efficiently maintained</p>



<a name="126608274"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608274" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608274">(May 15 2018 at 19:37)</a>:</h4>
<p>that is the hypothesis, anyway</p>



<a name="126608317"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608317" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608317">(May 15 2018 at 19:38)</a>:</h4>
<p>there is an <a href="https://github.com/rust-lang-nursery/rustc-seme-regions" target="_blank" title="https://github.com/rust-lang-nursery/rustc-seme-regions">implementation in this repository</a>, which also links to the RFC that describes it</p>



<a name="126608319"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608319" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608319">(May 15 2018 at 19:38)</a>:</h4>
<p><span class="user-mention" data-user-id="116266">@Santiago Pastorino</span> <a href="https://github.com/rust-lang-nursery/rustc-seme-regions" target="_blank" title="https://github.com/rust-lang-nursery/rustc-seme-regions">this is niko's repo</a> with his WIP code. It links to <a href="https://github.com/rust-lang/rfcs/pull/396" target="_blank" title="https://github.com/rust-lang/rfcs/pull/396">RFC 396</a></p>



<a name="126608339"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608339" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608339">(May 15 2018 at 19:38)</a>:</h4>
<p>ok, yeah, I guess I'm not going to worry for now, tons of other places to contribute, there's time for reading that :)</p>



<a name="126608358"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608358" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608358">(May 15 2018 at 19:39)</a>:</h4>
<p>so, having said that</p>



<a name="126608420"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608420" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608420">(May 15 2018 at 19:40)</a>:</h4>
<p>we can either spend the time right now talking about the "Sketch of borrow-check future plans" that is in the paper doc</p>



<a name="126608429"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608429" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608429">(May 15 2018 at 19:40)</a>:</h4>
<p>or we could collectively skim over any new NLL issues that have been filed in the rustc repo</p>



<a name="126608431"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608431" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608431">(May 15 2018 at 19:40)</a>:</h4>
<p>(something that i meant to do earlier today, but didn't get the chance)</p>



<a name="126608450"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608450" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608450">(May 15 2018 at 19:41)</a>:</h4>
<p>Personally, if we have people like <span class="user-mention" data-user-id="116107">@David Wood</span> here who are looking to jump back in</p>



<a name="126608456"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608456" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608456">(May 15 2018 at 19:41)</a>:</h4>
<p>then I think the time would probably be best spent talking about the borrow-check future plans</p>



<a name="126608463"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608463" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608463">(May 15 2018 at 19:41)</a>:</h4>
<p>since that (and NLL performance more generally) continues  the "all hands on deck" issue</p>



<a name="126608464"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608464" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608464">(May 15 2018 at 19:41)</a>:</h4>
<p>that makes sense to me</p>



<a name="126608510"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608510" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608510">(May 15 2018 at 19:42)</a>:</h4>
<p>I only have a high level overview of what's been happening, got a few blog posts to read yet.</p>



<a name="126608511"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608511" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608511">(May 15 2018 at 19:42)</a>:</h4>
<p>one thing that I noticed while doing some work today is that I think we really ought to prioritize getting a "round trip" where the results of <code>borrow-check</code> are feeding back into rustc in some form</p>



<a name="126608515"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608515" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608515">(May 15 2018 at 19:42)</a>:</h4>
<p>it feels really hard to evaluate right now</p>



<a name="126608520"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608520" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608520">(May 15 2018 at 19:42)</a>:</h4>
<p>whereas, in my original branch, since it was in rustc, I could just do <code>./x.py test</code></p>



<a name="126608530"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608530" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608530">(May 15 2018 at 19:43)</a>:</h4>
<p>(I'm not sure the best way to do that: one option might be to actually invoke <code>borrow-region</code> as a process, which sidesteps some of the annoying issues I hit around adding <code>differential-dataflow</code> as a dependency to the compiler)</p>



<a name="126608541"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608541" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608541">(May 15 2018 at 19:43)</a>:</h4>
<p>hm I had not considered that option</p>



<a name="126608545"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608545" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608545">(May 15 2018 at 19:43)</a>:</h4>
<p>(to be clear, I think that those problems can be overcome, but they might hold up landing a branch in the short term)</p>



<a name="126608602"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608602" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608602">(May 15 2018 at 19:44)</a>:</h4>
<p>although maybe <span class="user-mention" data-user-id="116609">@Frank McSherry</span> has a bit more free time now to merge PRs and issue releases. I'm trying to remember what the problems were; something with <code>getopt</code>, and I think a problem with custom derive</p>



<a name="126608609"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608609" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608609">(May 15 2018 at 19:44)</a>:</h4>
<p>I'm not sure if the latter is really needed, since we don't plan to do cross-process serialization</p>



<a name="126608620"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608620" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608620">(May 15 2018 at 19:45)</a>:</h4>
<p>anyway it seems like a work item we might consider prioritizing, if somebody had some time</p>



<a name="126608625"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608625" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608625">(May 15 2018 at 19:45)</a>:</h4>
<p>/me eyes <span class="user-mention" data-user-id="116107">@David Wood</span></p>



<a name="126608632"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608632" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608632">(May 15 2018 at 19:45)</a>:</h4>
<p>hehe</p>



<a name="126608634"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608634" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608634">(May 15 2018 at 19:45)</a>:</h4>
<p>I've got time in spades at the moment.</p>



<a name="126608638"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608638" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608638">(May 15 2018 at 19:45)</a>:</h4>
<p>dangerous words =)</p>



<a name="126608640"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608640" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608640">(May 15 2018 at 19:45)</a>:</h4>
<p>"work item we might consider priroritizing". there are a couple different ones that could be referring to</p>



<a name="126608692"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608692" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> qmx <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608692">(May 15 2018 at 19:46)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> did you try integrating with the feature flag I upstreamed to differential-dataflow?</p>



<a name="126608696"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608696" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608696">(May 15 2018 at 19:46)</a>:</h4>
<p>nope</p>



<a name="126608697"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608697" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608697">(May 15 2018 at 19:46)</a>:</h4>
<p>or rather, I can't remember</p>



<a name="126608698"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608698" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608698">(May 15 2018 at 19:46)</a>:</h4>
<p>there's the <em>invoke-as-subprocess</em> approach, and and there's <em>fix-the-integration-issues</em> approach</p>



<a name="126608700"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608700" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608700">(May 15 2018 at 19:47)</a>:</h4>
<p>I meant the union of them I guess</p>



<a name="126608709"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608709" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608709">(May 15 2018 at 19:47)</a>:</h4>
<p>that is, I meant "prioritize get integration working somehow"</p>



<a name="126608714"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608714" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608714">(May 15 2018 at 19:47)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> with <em>invoke-as-subprocess</em> approach, the main problem there is the time we "waste" creating and maintaining some text-based communication format</p>



<a name="126608715"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608715" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608715">(May 15 2018 at 19:47)</a>:</h4>
<p>right?</p>



<a name="126608719"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608719" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608719">(May 15 2018 at 19:47)</a>:</h4>
<p>I don't see any other drawback</p>



<a name="126608720"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608720" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> qmx <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608720">(May 15 2018 at 19:47)</a>:</h4>
<p>we just need <span class="user-mention" data-user-id="116609">@Frank McSherry</span> to cut a release :)</p>



<a name="126608722"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608722" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608722">(May 15 2018 at 19:47)</a>:</h4>
<p><span class="user-mention" data-user-id="116013">@qmx</span> I think the problem was that it wasn't ever added to a release on <a href="http://crates.io" target="_blank" title="http://crates.io">crates.io</a></p>



<a name="126608723"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608723" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> qmx <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608723">(May 15 2018 at 19:47)</a>:</h4>
<p>the patch is merged</p>



<a name="126608729"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608729" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> qmx <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608729">(May 15 2018 at 19:47)</a>:</h4>
<p>exactly</p>



<a name="126608731"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608731" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608731">(May 15 2018 at 19:47)</a>:</h4>
<p><span class="user-mention" data-user-id="116083">@pnkfelix</span> sounds right</p>



<a name="126608732"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608732" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608732">(May 15 2018 at 19:48)</a>:</h4>
<p>(since this is all for experimentation anyway)</p>



<a name="126608781"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608781" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608781">(May 15 2018 at 19:48)</a>:</h4>
<p>well, there's also the fact that the timings we gather will be polluted by subprocess creation time</p>



<a name="126608786"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608786" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608786">(May 15 2018 at 19:48)</a>:</h4>
<p>the format .. is probably super simple. like lines of tab-deleted numbers, one per tuple..?</p>



<a name="126608790"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608790" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608790">(May 15 2018 at 19:48)</a>:</h4>
<p>unless we somehw make it a long-lived process</p>



<a name="126608798"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608798" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608798">(May 15 2018 at 19:48)</a>:</h4>
<p>yes, timing information is definitely .. not terribly useful</p>



<a name="126608799"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608799" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608799">(May 15 2018 at 19:48)</a>:</h4>
<p>but that sounds much much harder to me</p>



<a name="126608809"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608809" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608809">(May 15 2018 at 19:49)</a>:</h4>
<p>I guess the idea at this point wouldn't be to be gathering performance profiles on the integrated product</p>



<a name="126608813"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608813" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608813">(May 15 2018 at 19:49)</a>:</h4>
<p>but rather solely to verify the correctness of <code>borrow-regions</code></p>



<a name="126608814"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608814" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608814">(May 15 2018 at 19:49)</a>:</h4>
<p>the hope would be we can do it quick-n-dirty</p>



<a name="126608816"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608816" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608816">(May 15 2018 at 19:49)</a>:</h4>
<p>this seems plausibly true</p>



<a name="126608833"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608833" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608833">(May 15 2018 at 19:49)</a>:</h4>
<p>otherwise I think it's not worth it</p>



<a name="126608883"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608883" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608883">(May 15 2018 at 19:50)</a>:</h4>
<p>performance otherwise would be evaluated by observing the <code>borrow-regions</code> program directly</p>



<a name="126608884"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608884" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608884">(May 15 2018 at 19:50)</a>:</h4>
<p>Right?</p>



<a name="126608898"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608898" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> qmx <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608898">(May 15 2018 at 19:50)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> you mentioned that we could start with a git-based dependency for the time being right</p>



<a name="126608905"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608905" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608905">(May 15 2018 at 19:51)</a>:</h4>
<p>I don't think we can land that</p>



<a name="126608911"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608911" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608911">(May 15 2018 at 19:51)</a>:</h4>
<p>Okay. I'm not thrilled by the idea of spending any time on a one-off serialization format</p>



<a name="126608918"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608918" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608918">(May 15 2018 at 19:51)</a>:</h4>
<p>but</p>



<a name="126608929"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608929" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608929">(May 15 2018 at 19:51)</a>:</h4>
<p>it seems like the quickest way to save human time</p>



<a name="126608931"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608931" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608931">(May 15 2018 at 19:51)</a>:</h4>
<p>in terms of trying to validate the results</p>



<a name="126608937"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608937" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608937">(May 15 2018 at 19:51)</a>:</h4>
<p>I mean I imagine it would be <a href="https://github.com/rust-lang-nursery/borrow-check/blob/master/src/tab_delim.rs" target="_blank" title="https://github.com/rust-lang-nursery/borrow-check/blob/master/src/tab_delim.rs">basically the same as this code</a> which loads the tab-delimited files now</p>



<a name="126608984"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608984" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608984">(May 15 2018 at 19:52)</a>:</h4>
<p>I guess another question is whether we would continu to dump the facts to disk and load them from there</p>



<a name="126608997"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608997" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608997">(May 15 2018 at 19:52)</a>:</h4>
<p>vs pipes you mean?</p>



<a name="126608998"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608998" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608998">(May 15 2018 at 19:52)</a>:</h4>
<p>anyway I also am not super enthusiastic about wasting a lot of time on this — maybe it's worth at least digging a little bit to see if wec an get linking to work</p>



<a name="126608999"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126608999" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126608999">(May 15 2018 at 19:52)</a>:</h4>
<p>see what obstacles we hit</p>



<a name="126609004"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126609004" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126609004">(May 15 2018 at 19:53)</a>:</h4>
<p>if they cannot be overcome in a day or two...</p>



<a name="126609012"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126609012" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126609012">(May 15 2018 at 19:53)</a>:</h4>
<p>honestly I could go either way</p>



<a name="126609013"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126609013" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126609013">(May 15 2018 at 19:53)</a>:</h4>
<p>the bigger question is: who would like to put a bit of time into it :)</p>



<a name="126609055"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126609055" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> qmx <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126609055">(May 15 2018 at 19:54)</a>:</h4>
<p>I can put time on this, but my time is limited :P</p>



<a name="126609057"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126609057" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126609057">(May 15 2018 at 19:54)</a>:</h4>
<p>I'm willing to do it</p>



<a name="126609061"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126609061" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126609061">(May 15 2018 at 19:54)</a>:</h4>
<p>I'm happy to work on whatever you need me on.</p>



<a name="126609062"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126609062" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126609062">(May 15 2018 at 19:54)</a>:</h4>
<p>(we could also pursue both in parallel)</p>



<a name="126609063"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126609063" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126609063">(May 15 2018 at 19:54)</a>:</h4>
<p>I already suffer with rustc rebuilds</p>



<a name="126609067"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126609067" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126609067">(May 15 2018 at 19:54)</a>:</h4>
<p>so this will just be a continuation of that suffering</p>



<a name="126609069"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126609069" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> qmx <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126609069">(May 15 2018 at 19:54)</a>:</h4>
<p>I have a beefy machine for rust rebuilds :P</p>



<a name="126609074"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126609074" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126609074">(May 15 2018 at 19:54)</a>:</h4>
<p>I mean, so do I (though I guess "beefy" is relative)</p>



<a name="126609077"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126609077" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126609077">(May 15 2018 at 19:55)</a>:</h4>
<p>for me 7 minutes seems like an eternity</p>



<a name="126609082"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126609082" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> qmx <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126609082">(May 15 2018 at 19:55)</a>:</h4>
<p>lol, true</p>



<a name="126609087"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126609087" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> qmx <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126609087">(May 15 2018 at 19:55)</a>:</h4>
<p>/me used to wait 4 hours for a linux kernel compile</p>



<a name="126609091"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126609091" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Frank McSherry <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126609091">(May 15 2018 at 19:55)</a>:</h4>
<blockquote>
<p>we just need @Frank McSherry to cut a release :)</p>
</blockquote>
<p>Quick run-by: can totally cut a release, but I wasn't clear from Niko whether the merged PR would enable things for them. A further PR that rips out the serialization (which use the derives) would be a serious re-working.</p>



<a name="126609097"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126609097" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126609097">(May 15 2018 at 19:55)</a>:</h4>
<p>hehe, I don't even remember how long it takes for me but probably more than that</p>



<a name="126609154"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126609154" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> qmx <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126609154">(May 15 2018 at 19:56)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> so I could add the git dep on a branch, make sure things compile, get a release from <span class="user-mention" data-user-id="116609">@Frank McSherry</span> , then fix the PR, then merge</p>



<a name="126609157"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126609157" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> qmx <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126609157">(May 15 2018 at 19:56)</a>:</h4>
<p>would that work?</p>



<a name="126609163"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126609163" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126609163">(May 15 2018 at 19:56)</a>:</h4>
<p>I think we should try both in parallel</p>



<a name="126609168"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126609168" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126609168">(May 15 2018 at 19:56)</a>:</h4>
<p>okay. It sounds like @qmx knows what's up for linkage</p>



<a name="126609169"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126609169" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126609169">(May 15 2018 at 19:56)</a>:</h4>
<p>basically, one person (sounds like <span class="user-mention" data-user-id="116013">@qmx</span>) can just try to add <code>borrow-check</code> repo as a dependency</p>



<a name="126609171"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126609171" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126609171">(May 15 2018 at 19:56)</a>:</h4>
<p>and see if we can get it to build</p>



<a name="126609177"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126609177" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126609177">(May 15 2018 at 19:57)</a>:</h4>
<p>I don't think we have to actually <em>use</em> it</p>



<a name="126609178"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126609178" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126609178">(May 15 2018 at 19:57)</a>:</h4>
<p>and I could focus on text-serialization</p>



<a name="126609182"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126609182" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126609182">(May 15 2018 at 19:57)</a>:</h4>
<p>to trigger the problems</p>



<a name="126609183"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126609183" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126609183">(May 15 2018 at 19:57)</a>:</h4>
<p>right?</p>



<a name="126609185"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126609185" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126609185">(May 15 2018 at 19:57)</a>:</h4>
<p>right</p>



<a name="126609188"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126609188" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126609188">(May 15 2018 at 19:57)</a>:</h4>
<p>I'm good with that.</p>



<a name="126609189"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126609189" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126609189">(May 15 2018 at 19:57)</a>:</h4>
<p>and/or <span class="user-mention" data-user-id="116107">@David Wood</span></p>



<a name="126609190"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126609190" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126609190">(May 15 2018 at 19:57)</a>:</h4>
<p>I don't offer myself to do anything since I'm already with tasks but feel free to give me more stuff</p>



<a name="126609194"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126609194" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126609194">(May 15 2018 at 19:57)</a>:</h4>
<p>I suspect we can find other things for <span class="user-mention" data-user-id="116107">@David Wood</span> if not that</p>



<a name="126609196"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126609196" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126609196">(May 15 2018 at 19:57)</a>:</h4>
<p>probably better if I finish this first and then ask for more things</p>



<a name="126609202"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126609202" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> qmx <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126609202">(May 15 2018 at 19:57)</a>:</h4>
<p>are you going to cut a initial release for borrow-check on <a href="http://crates.io" target="_blank" title="http://crates.io">crates.io</a>?</p>



<a name="126609203"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126609203" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126609203">(May 15 2018 at 19:57)</a>:</h4>
<p>I get the feeling there's plenty to go around.</p>



<a name="126609204"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126609204" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126609204">(May 15 2018 at 19:57)</a>:</h4>
<p>I think there's other stuff about making <code>borrow-check</code> faster that I'd like people working on in parallel</p>



<a name="126609205"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126609205" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126609205">(May 15 2018 at 19:57)</a>:</h4>
<p>e.g., I'd be happy to work with them on #20</p>



<a name="126609253"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126609253" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126609253">(May 15 2018 at 19:58)</a>:</h4>
<blockquote>
<p>are you going to cut a initial release for borrow-check on <a href="http://crates.io" target="_blank" title="http://crates.io">crates.io</a>?</p>
</blockquote>
<p>we could, but we could also add a git dep for now? come to think of it, it'd probably be good to factor out a "core" crate that just exports (e.g.) the <code>TimelyOpt</code> variant</p>



<a name="126609262"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126609262" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126609262">(May 15 2018 at 19:58)</a>:</h4>
<p>and that is the one we would depend on</p>



<a name="126609264"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126609264" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126609264">(May 15 2018 at 19:58)</a>:</h4>
<p>no reason to have rustc build and support the naive one</p>



<a name="126609266"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126609266" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126609266">(May 15 2018 at 19:58)</a>:</h4>
<p>it takes a non-trivial amount of time to compile :)</p>



<a name="126609270"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126609270" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126609270">(May 15 2018 at 19:58)</a>:</h4>
<p>I guess that's the first work item</p>



<a name="126609291"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126609291" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126609291">(May 15 2018 at 19:59)</a>:</h4>
<p>yeah sounds like that is a task that blocks both <span class="user-mention" data-user-id="116013">@qmx</span> and myself.</p>



<a name="126609296"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126609296" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126609296">(May 15 2018 at 20:00)</a>:</h4>
<p>I don't think it necessarily blocks you <span class="user-mention" data-user-id="116083">@pnkfelix</span></p>



<a name="126609346"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126609346" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126609346">(May 15 2018 at 20:00)</a>:</h4>
<p>but in any case I jus filed <a href="https://github.com/rust-lang-nursery/borrow-check/issues/31" target="_blank" title="https://github.com/rust-lang-nursery/borrow-check/issues/31">https://github.com/rust-lang-nursery/borrow-check/issues/31</a></p>



<a name="126609359"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126609359" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126609359">(May 15 2018 at 20:00)</a>:</h4>
<p>that is, I imagined this being a library, whereas you need an executable</p>



<a name="126609361"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126609361" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126609361">(May 15 2018 at 20:00)</a>:</h4>
<p>Well I can certainly <em>work on</em> the text based format</p>



<a name="126609362"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126609362" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126609362">(May 15 2018 at 20:00)</a>:</h4>
<p>anyway, it might block you too you're right</p>



<a name="126609371"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126609371" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126609371">(May 15 2018 at 20:00)</a>:</h4>
<p>we should file an issue</p>



<a name="126609372"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126609372" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126609372">(May 15 2018 at 20:00)</a>:</h4>
<p>but I wouldn't want to land it before the core crate has been factored out</p>



<a name="126609373"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126609373" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126609373">(May 15 2018 at 20:00)</a>:</h4>
<p>(I'm gonna have to run in a sec btw)</p>



<a name="126609380"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126609380" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126609380">(May 15 2018 at 20:00)</a>:</h4>
<p>well times about up anywauy</p>



<a name="126609385"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126609385" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126609385">(May 15 2018 at 20:00)</a>:</h4>
<p>since I want to keep this mtg to 30 min</p>



<a name="126609388"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126609388" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126609388">(May 15 2018 at 20:01)</a>:</h4>
<p>yep. main thing is that I would do the simplest formats we can get away with. basically just lines of numbers ... so that we write minimal code :)</p>



<a name="126609396"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126609396" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126609396">(May 15 2018 at 20:01)</a>:</h4>
<p>Any one have any questions? I know we didn't exactly hand out concrete tasks</p>



<a name="126609404"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126609404" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126609404">(May 15 2018 at 20:01)</a>:</h4>
<p>nope</p>



<a name="126609451"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126609451" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> qmx <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126609451">(May 15 2018 at 20:02)</a>:</h4>
<p>ok, I'll try to spin a new crate from <code>TimelyOpt</code>and add it as a git dep for now</p>



<a name="126609454"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2015/near/126609454" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2015.html#126609454">(May 15 2018 at 20:02)</a>:</h4>
<p>sounds like we have a kind of plan:</p>
<ul>
<li><span class="user-mention" data-user-id="116013">@qmx</span> or <span class="user-mention" data-user-id="116083">@pnkfelix</span> to factor out <a href="https://github.com/rust-lang-nursery/borrow-check/issues/31" target="_blank" title="https://github.com/rust-lang-nursery/borrow-check/issues/31">https://github.com/rust-lang-nursery/borrow-check/issues/31</a></li>
<li><span class="user-mention" data-user-id="116013">@qmx</span> to pursue trying to link that crate into rustc</li>
<li><span class="user-mention" data-user-id="116083">@pnkfelix</span> to pursue trying to invoke borrow-check as an executable and communicate</li>
<li><span class="user-mention" data-user-id="116107">@David Wood</span> to do something else :) maybe #20?</li>
<li><span class="user-mention" data-user-id="116266">@Santiago Pastorino</span> to continue with location-invariant stuff<br>
...?</li>
</ul>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>